Они довольно похожи.

Во встраиваемых системах надо экономить память.

Узел мощного кластера образца 2016 года имел 128Гбайт, что, вроде бы, много. Однако, этот же узел имел 16 ядер с частотой в 3ГГц и общей вычислительной мощностью в районе 193ГОПЗС (операций с плавающей запятой в секунду) вычислений с одинарной точностью. Считается, что на 1ОПЗС ( Read more... )

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework (ACM).

Как народ кодогенератор для сертифицированного применения писал.

Слайды к докладу на ICFP.

I looked at generating C for AVR with JHC...

The generated `main' is very plain:

static void A_STD
ftheMain(void)
{
jhc_function_inc();
uintptr_t v10 = ((uintptr_t)DDRB());
*((uint8_t *)(v10)) = 23;
uintptr_t v18 = ((uintptr_t)PORTB());
return *((uint8_t *)(v18)) = 23;
}
( Read more... )

Типы данных для проверки временных и других ограничений встроенных систем.

На LtU, откуда утащил, наверняка будут интересные комментарии.